.REQUIRE "206MAC.PUB[206,LSP]" source_file;
.
.odd heading(,,{page}) ;
.even heading({page}, , ) ;
.
.LSPFONT
.basicops 
.
.allops
.itemmac 1;
.
.PORTION MAINPORTION

.PAGE ← 1
.items←0

.begin nofill




⊗⊗        findpath[x, y] ← fp1[<x>, y, qNIL]⊗



⊗⊗        fp1[u, y, path] ← ⊗
⊗⊗            qif qn u qthen $$LOSE$⊗
⊗⊗            qelse qif qa u ε path qthen fp1[qd u, y, path]⊗
⊗⊗            qelse qif qa u = y qthen reverse[y . path]⊗
⊗⊗            qelse [λw: qif w = $$LOSE$ qthen fp1[qd u, y, path] qelse w][fp1[successors qa u, y, qa u . path]]⊗


.end